この導入モジュールは、未加工で構造のない文字配列と 形式言語理論との間のギャップを埋めます。私たちは 命令型の検索——手作業による一文字ずつの検査から 宣言型の仕様定義まで移行します。ここでは、有効な文字列の無限集合を表す正式な文法を定義します。

1. 文字列エントロピーの本質

原始的なデータは構造がないため、本質的に「雑」です。正式な文法によってその構成要素が分類されるまで、単なるバイトの連続に過ぎません。プロトコル設計において、このエントロピーの検証は不正な入力に対する最初の防衛線です。

2. パラダイムとオートマトン

正規表現は チョムスキー階層に根ざしています。正規表現は 決定性有限オートマトン（DFA）を構築するための設計図として機能します。代わりに if-else の連鎖を書くのではなく、パターンが であることを定義することで、エンジンが探索ロジックを処理できるようにします。